Optimal. Leaf size=109 \[ \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}+1\right )}{b c-a d}-\frac {\text {Li}_3\left (\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}+1\right )}{b c-a d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.16, antiderivative size = 109, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 62, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.032, Rules used = {2506, 6610} \[ \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {PolyLog}\left (2,\frac {(e+f x) (b c-a d)}{(a+b x) (d e-c f)}+1\right )}{b c-a d}-\frac {\text {PolyLog}\left (3,\frac {(e+f x) (b c-a d)}{(a+b x) (d e-c f)}+1\right )}{b c-a d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2506
Rule 6610
Rubi steps
\begin {align*} \int \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \log \left (\frac {(-b c+a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{(a+b x) (c+d x)} \, dx &=\frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}+\int \frac {\text {Li}_2\left (1-\frac {(-b c+a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{(a+b x) (c+d x)} \, dx\\ &=\frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}-\frac {\text {Li}_3\left (1+\frac {(b c-a d) (e+f x)}{(d e-c f) (a+b x)}\right )}{b c-a d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.03, size = 96, normalized size = 0.88 \[ \frac {\log \left (\frac {e (c+d x)}{a+b x}\right ) \text {Li}_2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )-\text {Li}_3\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b c-a d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [F] time = 0.67, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\log \left (-\frac {{\left (b c - a d\right )} f x + {\left (b c - a d\right )} e}{a d e - a c f + {\left (b d e - b c f\right )} x}\right ) \log \left (\frac {d e x + c e}{b x + a}\right )}{b d x^{2} + a c + {\left (b c + a d\right )} x}, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\log \left (\frac {{\left (d x + c\right )} e}{b x + a}\right ) \log \left (-\frac {{\left (b c - a d\right )} {\left (f x + e\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )}{{\left (b x + a\right )} {\left (d x + c\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [F] time = 2.77, size = 0, normalized size = 0.00 \[ \int \frac {\ln \left (\frac {\left (d x +c \right ) e}{b x +a}\right ) \ln \left (\frac {\left (a d -b c \right ) \left (f x +e \right )}{\left (-c f +d e \right ) \left (b x +a \right )}\right )}{\left (b x +a \right ) \left (d x +c \right )}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F] time = 0.00, size = 0, normalized size = 0.00 \[ -\frac {{\left (\log \left (b x + a\right )^{2} - 2 \, {\left (\log \left (b x + a\right ) - \log \relax (e)\right )} \log \left (d x + c\right ) + \log \left (d x + c\right )^{2} - 2 \, \log \left (b x + a\right ) \log \relax (e)\right )} \log \left (f x + e\right )}{2 \, {\left (b c - a d\right )}} + \int \frac {2 \, {\left (e \log \left (-b c + a d\right ) \log \relax (e) - e \log \left (d e - c f\right ) \log \relax (e)\right )} b c + {\left (b d f x^{2} + 2 \, b c e - {\left (2 \, d e - c f\right )} a + {\left (3 \, b c f - a d f\right )} x\right )} \log \left (b x + a\right )^{2} - 2 \, {\left (d e \log \left (-b c + a d\right ) \log \relax (e) - d e \log \left (d e - c f\right ) \log \relax (e)\right )} a + 2 \, {\left ({\left (f \log \left (-b c + a d\right ) \log \relax (e) - f \log \left (d e - c f\right ) \log \relax (e)\right )} b c - {\left (d f \log \left (-b c + a d\right ) \log \relax (e) - d f \log \left (d e - c f\right ) \log \relax (e)\right )} a\right )} x - 2 \, {\left (b d f x^{2} \log \relax (e) - {\left (e {\left (\log \left (d e - c f\right ) - \log \relax (e)\right )} - e \log \left (-b c + a d\right )\right )} b c + {\left (d e {\left (\log \left (d e - c f\right ) - \log \relax (e)\right )} - d e \log \left (-b c + a d\right ) + c f \log \relax (e)\right )} a + {\left ({\left (f \log \left (-b c + a d\right ) - f \log \left (d e - c f\right ) + 2 \, f \log \relax (e)\right )} b c - {\left (d f \log \left (-b c + a d\right ) - d f \log \left (d e - c f\right )\right )} a\right )} x\right )} \log \left (b x + a\right ) + 2 \, {\left (b d f x^{2} \log \relax (e) + {\left (e \log \left (-b c + a d\right ) - e \log \left (d e - c f\right )\right )} b c - {\left (d e \log \left (-b c + a d\right ) - d e \log \left (d e - c f\right ) - c f \log \relax (e)\right )} a + {\left ({\left (f \log \left (-b c + a d\right ) - f \log \left (d e - c f\right ) + f \log \relax (e)\right )} b c - {\left (d f \log \left (-b c + a d\right ) - {\left (f \log \left (d e - c f\right ) + f \log \relax (e)\right )} d\right )} a\right )} x - {\left (b d f x^{2} + 2 \, b c f x + b c e - {\left (d e - c f\right )} a\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )}{2 \, {\left (a b c^{2} e - a^{2} c d e + {\left (b^{2} c d f - a b d^{2} f\right )} x^{3} - {\left (a b d^{2} e + a^{2} d^{2} f - {\left (c d e + c^{2} f\right )} b^{2}\right )} x^{2} + {\left (b^{2} c^{2} e + a b c^{2} f - {\left (d^{2} e + c d f\right )} a^{2}\right )} x\right )}}\,{d x} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [F] time = 0.00, size = -1, normalized size = -0.01 \[ \int \frac {\ln \left (\frac {e\,\left (c+d\,x\right )}{a+b\,x}\right )\,\ln \left (-\frac {\left (e+f\,x\right )\,\left (a\,d-b\,c\right )}{\left (c\,f-d\,e\right )\,\left (a+b\,x\right )}\right )}{\left (a+b\,x\right )\,\left (c+d\,x\right )} \,d x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \frac {\log {\left (\frac {e \left (c + d x\right )}{a + b x} \right )}^{2} \log {\left (\frac {\left (e + f x\right ) \left (a d - b c\right )}{\left (a + b x\right ) \left (- c f + d e\right )} \right )}}{2 a d - 2 b c} - \frac {\left (a f - b e\right ) \int \frac {\log {\left (\frac {c e}{a + b x} + \frac {d e x}{a + b x} \right )}^{2}}{a e + a f x + b e x + b f x^{2}}\, dx}{2 \left (a d - b c\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________